Validation algorithm for attribute-element constraints of RELAX NG
نویسندگان
چکیده
Patterns of RELAX NG can represent interdependencies between attributes and elements. Such patterns are useful for schema authors. However, they make validator implementation algorithmically challenging, since naive approaches easily blow up even for typical inputs. James Clark has provided a derivative-based validation algorithm for handling such interdependencies. This paper shows another algorithm, which is based on automata rewriting. When the validator encounters an attribute set, it rewrites automata that are constructed from patterns. Then, the validator examines an element sequence by executing the rewritten automata for the sequence. Advantages of our algorithm are compactness and portability. Validation algorithm for attribute-element constraints of RELAX NG Table of
منابع مشابه
Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints
Algorithms for validation play a crucial role in the use of XML. Although much effort has been made for formalizing the treatment of elements, attributes have been neglected. This paper presents a validation model for XML documents that takes into account element and attribute constraints imposed by a given DTD. Our main contribution is the introduction of a new formalism to deal with both kind...
متن کاملResolving the Distinction Between Typing and Validating
We attempt to unify the traditional markup notion of validation with the process of type assignment used by W3C Schema. We show how validation can be extended to provide typing information for a schema language, such as Relax NG, which doesn't have explicit type declarations.
متن کاملTEI HORSEing Around
The Text Encoding Initiative’s typed segment-boundary delimiter method is only one of several proposed mechanisms for handling overlap in TEI documents. HORSE (aka CLIX) defines a method by which an XML element is used normally when possible and as an improved version of the typed segment-boundary delimiter method when an overlap problem is encountered. A significant portion of the rules necess...
متن کاملAN OPTIMIZATION-BASED COMPARATIVE STUDY OF DOUBLE LAYER GRIDS WITH TWO DIFFERENT CONFIGURATIONS USING CUCKOO SEARCH ALGORITHM
This paper is concerned with the economical comparison between two commonly used configurations for double layer grids and determining their optimum span-depth ratio. Two ranges of spans as small and big sizes with certain bays of equal length in two directions and various types of element grouping are considered for each type of square grids. In order to carry out a precise comparison between ...
متن کاملValid versus Meaningful: Raising the Level of Semantic Validation
”Traditional” schema languages for XML such as XML Schema or Relax NG are used to validate documents and ensure that they are syntactically correct. These schema languages however lack the expressive power and diagnostic capabilities to provide ”semantic validation”. We illustrate the need for such validation by examples taken from the Financial Products Markup Language (FpML) and XML Metadata ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003